- tense logic
- временная логика
English-Russian scientific dictionary. 2008.
tense logic
Смотреть что такое "tense logic" в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic — The general science of inference. Deductive logic, in which a conclusion follows from a set of premises, is distinguished from inductive logic, which studies the way in which premises may support a conclusion without entailing it. In deductive… … Philosophy dictionary
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
History of logic — Philosophy ( … Wikipedia
Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… … Wikipedia
Multimodal logic — A multimodal logic is a modal logic that has more than one primitive modal operator. They find substantial applications in theoretical computer science. A modal logic with n primitive unary modal operators is called an n modal logic. Given these… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy
Present perfect tense — The present perfect tense is a perfect tense used to express action that has been completed with respect to the present. (The word perfect in its name refers to the idea of completion of being now finished rather than to perfection in the sense… … Wikipedia
Arthur Prior — Infobox Philosopher region = Western Philosophers era = 20th century philosophy color = #B0C4DE image caption = name = Arthur Norman Prior birth = December 4, 1914 death = October 6, 1969 school tradition = Logic main interests = Temporal Logic,… … Wikipedia
